天大智算🤝华为仓颉！

近日，华为面向全球开发者

发布华为自研编程语言——仓颉

仓颉编程语言是一款

面向全场景智能的新一代编程语言

主打“原生智能化、

天生全场景、高性能，强安全”

融入鸿蒙生态

为开发者提供良好的编程体验

这是仓颉编程语言的首次公开亮相

对国产编程语言的发展具有重要意义

天津大学智能与计算学部软件工程团队助力华为仓颉团队，深度参与仓颉编程语言编译器的质量保障研究，从软件测试角度出发，为仓颉编译器质量保驾护航。

五年来，团队陈俊洁教授、王赞教授、姜佳君研究员，带领赵英全、付瑞丰、郭以勒、郑开、樊兴宇等十余名研究生，围绕着仓颉编译器测试工作开展深入研究，提出数据驱动的仓颉编译器系统化测试框架，涵盖基于程序综合的测试程序生成技术、基于程序变异的测试预言构造技术、基于代码表示的测试过程加速技术等多项先进技术。成果在软件工程领域顶会ICSE、ISSTA等发表多篇学术论文，并已部署至仓颉编译器的实际测试中，显著提升仓颉编译器测试效果。

团队部分成员左起：赵英全、陈俊洁、王学智（华为仓颉）、索宸耀

研究成果中，“基于程序综合的测试程序生成技术”将程序代码拆解成细粒度代码片段，彼此之间涉及不同的语言特征，进而在语法语义约束的指导下，实现测试程序的高效合成。“基于程序变异的测试预言构造技术”通过对仓颉编程语言语法语义进行深入分析与理解，设计一系列等价变异算子与不等价变异算子。提升技术揭错能力，增强测试程序多样性，实现对仓颉编译器的更充分测试。“基于代码表示的测试过程加速技术”旨在提升编译器测试效率，以在更短的时间内检测到更多的编译器缺陷。

数据驱动的仓颉编译器系统化测试框架

仓颉编程语言是一款面向全场景应用开发的现代编程语言，通过现代语言特性的集成、全方位的编译优化和运行时实现、以及开箱即用的IDE工具链支持，为开发者打造友好开发体验和卓越程序性能。仓颉编译器是与仓颉编程语言共生的基础软件。在仓颉编程语言的筹备阶段，与之相配的高质量编译器成为核心目标之一。随着仓颉编程语言的演化，仓颉编译器也在不断的升级、改进。

在未来

团队将继续助力华为仓颉

共筑科技创新高地

为国产基础软件新发展

贡献天大智慧

往期精彩内容回顾

• 我把天大时光写进致谢！

 
 - tianda1895 -

内容来源 / 天津大学智能与计算学部

编辑 / 郭卉

底图制作 / 范逸涵 张亦欣

审核 / 王鑫 梁绍楠

「 天 津 大 学 新 媒 体 中 心 」

投稿 & 加入我们 [e-mail]

跟小天一起

为“科技创新的天大”点1000个赞（在看）↓↓↓